algebraic number theory definition